home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / ai.prl / dprolog.lha / birds.pro < prev    next >
Text File  |  1991-03-05  |  212b  |  21 lines
  1.  
  2. flies(X):=
  3.         bird(X).
  4.  
  5. neg flies(X):-
  6.         penguin(X).
  7.  
  8. neg flies(X):^
  9.         sick(X).
  10.  
  11. flies(buzz):=
  12.         true.
  13.  
  14. bird(woody).
  15.  
  16. bird(X):-
  17.         penguin(X).
  18.  
  19. penguin(chilly).
  20.  
  21.